how does arithmetic operator work in prolog

visit shbcf.ru